Logical Connective

释义 Definition

逻辑连接词 / 逻辑联结词：在形式逻辑（尤其是命题逻辑）中，用来把一个或多个命题（陈述句）组合成更复杂命题的符号或词。常见的逻辑连接词包括 and（∧）、or（∨）、not（¬）、if…then（→）、if and only if（↔） 等。（在语言学里也常指表达逻辑关系的连接手段。）

发音 Pronunciation (IPA)

/ˈlɑːdʒɪkəl kəˈnɛktɪv/

例句 Examples

And is a logical connective.
“and” 是一种逻辑连接词。

In propositional logic, the symbol → is a logical connective that links a condition to a conclusion.
在命题逻辑中，符号 “→” 是一种逻辑连接词，用来把条件与结论连接起来。

词源 Etymology

logical 来自 logic（逻辑）+ 形容词后缀 -al（“……的”）；connective 来自 connect（连接）+ 形容词/名词后缀 -ive（表示“具有……性质的/起……作用的”）。组合成术语后，字面意思就是“起逻辑连接作用的（成分）”，用于指代把命题按规则“连起来”的运算符或词。

相关词 Related Words

• Operator
• Conjunction
• Disjunction
• Negation
• Implication
• Biconditional
• Proposition
• Predicate
• Truth Table
• Inference

文学与著作中的用例 Literary Works

• A Concise Introduction to Logic — Patrick J. Hurley
• An Introduction to Formal Logic — P. D. Magnus
• Introduction to Logic — Irving M. Copi（及其后续修订版）
• Logic — Irving M. Copi & Carl Cohen
• A Mathematical Introduction to Logic — Herbert B. Enderton